<html>
<head><meta charset="utf-8"><title>weekly meeting 2019.03.13 · t-compiler/wg-nll · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/index.html">t-compiler/wg-nll</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E03.2E13.html">weekly meeting 2019.03.13</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="160719676"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.03.13/near/160719676" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E03.2E13.html#160719676">(Mar 13 2019 at 19:24)</a>:</h4>
<p>hi <span class="user-group-mention" data-user-group-id="491">@WG-nll</span></p>



<a name="160719718"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.03.13/near/160719718" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E03.2E13.html#160719718">(Mar 13 2019 at 19:25)</a>:</h4>
<p>I forgot to do all of: 1. send out a reminder that due to USA daylight savings, our scheduled meeting time may or may not have shifted</p>



<a name="160719739"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.03.13/near/160719739" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E03.2E13.html#160719739">(Mar 13 2019 at 19:25)</a>:</h4>
<p>2. send out a reminder saying that the meeting is starting in N minutes</p>



<a name="160719745"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.03.13/near/160719745" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E03.2E13.html#160719745">(Mar 13 2019 at 19:25)</a>:</h4>
<p>3. do pre-triage</p>



<a name="160719872"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.03.13/near/160719872" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E03.2E13.html#160719872">(Mar 13 2019 at 19:26)</a>:</h4>
<p>I think the vast majority of the people in <span class="user-group-mention" data-user-group-id="491">@WG-nll</span> are actually not based in the USA, which may mean that the USA's out-of-sync DST shift should not affect us anyway...?</p>



<a name="160719894"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.03.13/near/160719894" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E03.2E13.html#160719894">(Mar 13 2019 at 19:27)</a>:</h4>
<p>so lets just find out: How many people would attend if the meeting were held in 3 minutes?</p>



<a name="160719914"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.03.13/near/160719914" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E03.2E13.html#160719914">(Mar 13 2019 at 19:27)</a>:</h4>
<p>(versus how many would attend if the meeting were held in 63 minutes)</p>



<a name="160719988"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.03.13/near/160719988" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E03.2E13.html#160719988">(Mar 13 2019 at 19:28)</a>:</h4>
<p>(and while I await any emoji reactions to those Q's, I'll attempt some pre-triage in a <a href="#narrow/stream/122657-t-compiler.2Fwg-nll/topic/pre-triage.202019.2E03.2E13/near/160720001" title="#narrow/stream/122657-t-compiler.2Fwg-nll/topic/pre-triage.202019.2E03.2E13/near/160720001">different topic</a>.)</p>



<a name="160720329"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.03.13/near/160720329" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E03.2E13.html#160720329">(Mar 13 2019 at 19:33)</a>:</h4>
<p>we have <strong>zero</strong> <a href="https://github.com/rust-lang/rust/issues?utf8=%E2%9C%93&amp;q=is%3Aopen+is%3Aissue+label%3AA-NLL+-label%3ANLL-deferred+-label%3ANLL-fixed-by-NLL+no%3Aassignee++-label%3ANLL-polonius++-label%3AP-medium+label%3AP-high" target="_blank" title="https://github.com/rust-lang/rust/issues?utf8=%E2%9C%93&amp;q=is%3Aopen+is%3Aissue+label%3AA-NLL+-label%3ANLL-deferred+-label%3ANLL-fixed-by-NLL+no%3Aassignee++-label%3ANLL-polonius++-label%3AP-medium+label%3AP-high">P-high unassigned</a> issues, which is great</p>



<a name="160720485"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.03.13/near/160720485" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E03.2E13.html#160720485">(Mar 13 2019 at 19:35)</a>:</h4>
<p>based on the lack of reactions to the messages above, I'm going to assume (or assert?) that everyone figured the meeting would stick to European DST rather than USA DST, and thus it won't be held for another 55 minutes. This means we may not see <span class="user-mention" data-user-id="116009">@nikomatsakis</span> at the meeting; we'll see.</p>



<a name="160720533"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.03.13/near/160720533" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E03.2E13.html#160720533">(Mar 13 2019 at 19:35)</a>:</h4>
<p>I may or may not be able to make it but I can catch up later!</p>



<a name="160720539"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.03.13/near/160720539" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E03.2E13.html#160720539">(Mar 13 2019 at 19:36)</a>:</h4>
<p><span aria-label="heart" class="emoji emoji-2764" role="img" title="heart">:heart:</span> Zulip</p>



<a name="160720629"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.03.13/near/160720629" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E03.2E13.html#160720629">(Mar 13 2019 at 19:37)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> any chance of an  update on <a href="https://github.com/rust-lang/rust/issues/54940" target="_blank" title="https://github.com/rust-lang/rust/issues/54940">#54940</a> in the meantime?</p>



<a name="160720785"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.03.13/near/160720785" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E03.2E13.html#160720785">(Mar 13 2019 at 19:39)</a>:</h4>
<p>also, <span class="user-mention" data-user-id="116118">@Matthew Jasper</span> , I think I have a plausible implemenation of a lint form for PR <a href="https://github.com/rust-lang/rust/issues/58739" target="_blank" title="https://github.com/rust-lang/rust/issues/58739">#58739</a></p>



<a name="160720787"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.03.13/near/160720787" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E03.2E13.html#160720787">(Mar 13 2019 at 19:39)</a>:</h4>
<p>Not really. My expectation is that this won't be closed for some time, but looking at it again -- and in light of the 2PB discussion =) -- maybe I should think harder about a way to fix it</p>



<a name="160720808"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.03.13/near/160720808" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E03.2E13.html#160720808">(Mar 13 2019 at 19:39)</a>:</h4>
<p><span class="user-mention" data-user-id="116118">@Matthew Jasper</span>  i assume you won't mind if I push the commits for that onto your branch?</p>



<a name="160720816"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.03.13/near/160720816" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Matthew Jasper <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E03.2E13.html#160720816">(Mar 13 2019 at 19:39)</a>:</h4>
<p>go ahead</p>



<a name="160720902"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.03.13/near/160720902" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E03.2E13.html#160720902">(Mar 13 2019 at 19:40)</a>:</h4>
<blockquote>
<p>Not really. My expectation is that this won't be closed for some time, but looking at it again -- and in light of the 2PB discussion =) -- maybe I should think harder about a way to fix it</p>
</blockquote>
<p>fix it in a way that doesn't require lazy-normalization?</p>



<a name="160720925"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.03.13/near/160720925" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E03.2E13.html#160720925">(Mar 13 2019 at 19:41)</a>:</h4>
<p>or think harder about lazy normalization?</p>



<a name="160721255"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.03.13/near/160721255" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E03.2E13.html#160721255">(Mar 13 2019 at 19:46)</a>:</h4>
<p>One thing I did want to bring up here, though maybe its a waste of time to discuss</p>



<a name="160721261"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.03.13/near/160721261" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E03.2E13.html#160721261">(Mar 13 2019 at 19:46)</a>:</h4>
<p>this is regarding PR <a href="https://github.com/rust-lang/rust/issues/58739" target="_blank" title="https://github.com/rust-lang/rust/issues/58739">#58739</a></p>



<a name="160721285"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.03.13/near/160721285" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E03.2E13.html#160721285">(Mar 13 2019 at 19:47)</a>:</h4>
<p>if you look at one of my <a href="https://github.com/rust-lang/rust/pull/58739#issuecomment-472474978" target="_blank" title="https://github.com/rust-lang/rust/pull/58739#issuecomment-472474978">recent comments</a>, you'll see i sort of hand-waved about the schedule for when the lint would go to hard error</p>



<a name="160721385"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.03.13/near/160721385" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E03.2E13.html#160721385">(Mar 13 2019 at 19:48)</a>:</h4>
<p>but part of that hand-waving is that I said "we can make the 2pb restriction a hard error on the 2015 edition"</p>



<a name="160721438"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.03.13/near/160721438" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E03.2E13.html#160721438">(Mar 13 2019 at 19:48)</a>:</h4>
<p>I probably already know the likely reactions, but I want to ask the question: What is more important: That the 2015+2018 editions be consistent in their static semantics?</p>



<a name="160721503"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.03.13/near/160721503" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E03.2E13.html#160721503">(Mar 13 2019 at 19:49)</a>:</h4>
<p>Or that we try to limit the amount of code that is written that utilizes the less-restricted 2pb? (And thus make it a hard error immediately for the 2015 edition)</p>



<a name="160721608"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.03.13/near/160721608" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E03.2E13.html#160721608">(Mar 13 2019 at 19:50)</a>:</h4>
<p>I'll admit, I think we even may have talked about this, or something similar, last week and came down on the side of "keep static semantics of 2015 and 2018 consistent"</p>



<a name="160721623"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.03.13/near/160721623" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E03.2E13.html#160721623">(Mar 13 2019 at 19:50)</a>:</h4>
<p>but I just wanted to make sure I brought it up again</p>



<a name="160722033"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.03.13/near/160722033" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E03.2E13.html#160722033">(Mar 13 2019 at 19:56)</a>:</h4>
<p><span class="user-mention" data-user-id="116083">@pnkfelix</span> If we don't have the restriction on 2018 we still need an operational semantics that handles the less restrictive 2pb; in that case it's of zero value to make such a restriction on 2015.</p>



<a name="160722038"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.03.13/near/160722038" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E03.2E13.html#160722038">(Mar 13 2019 at 19:56)</a>:</h4>
<p>oh yeah, we <a href="#narrow/stream/122657-t-compiler.2Fwg-nll/topic/weekly.20meeting.202019.2E03.2E06/near/160133881" title="#narrow/stream/122657-t-compiler.2Fwg-nll/topic/weekly.20meeting.202019.2E03.2E06/near/160133881">definitely</a> discussed this last week</p>



<a name="160722091"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.03.13/near/160722091" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E03.2E13.html#160722091">(Mar 13 2019 at 19:57)</a>:</h4>
<p>its a funny thing, saying we don't have an operational semantics here</p>



<a name="160722180"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.03.13/near/160722180" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E03.2E13.html#160722180">(Mar 13 2019 at 19:59)</a>:</h4>
<p>well,  I go back and forth on the matter</p>



<a name="160722229"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.03.13/near/160722229" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E03.2E13.html#160722229">(Mar 13 2019 at 19:59)</a>:</h4>
<p>my instinct is to say "of course we have an operational semantics, in terms of what the dynamic semantics are for this construct. its just a problem with the <em>elaborated</em> semantics that Ralf is designing."</p>



<a name="160722332"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.03.13/near/160722332" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E03.2E13.html#160722332">(Mar 13 2019 at 20:00)</a>:</h4>
<p>but the point (as in, Centril's point) still stands, once you start thinking about unsafe code</p>



<a name="160722393"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.03.13/near/160722393" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E03.2E13.html#160722393">(Mar 13 2019 at 20:01)</a>:</h4>
<p>(clearly the answer is to disallow casting a reserved unactivated borrow to a <code>*T</code>)</p>



<a name="160722404"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.03.13/near/160722404" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E03.2E13.html#160722404">(Mar 13 2019 at 20:01)</a>:</h4>
<p>/me is all about hacks tonight</p>



<a name="160722465"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.03.13/near/160722465" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Matthew Jasper <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E03.2E13.html#160722465">(Mar 13 2019 at 20:02)</a>:</h4>
<p>The problem is with the thing that we allow. We already have every other restriction that one could reasonably come up with.</p>



<a name="160722560"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.03.13/near/160722560" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E03.2E13.html#160722560">(Mar 13 2019 at 20:03)</a>:</h4>
<p><span class="user-mention" data-user-id="116083">@pnkfelix</span> I mean... we have a dynamic semantics... :P programs must run... to be clear I meant "a formal one" ;)</p>



<a name="160722694"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.03.13/near/160722694" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E03.2E13.html#160722694">(Mar 13 2019 at 20:05)</a>:</h4>
<p>i know, i know. I just meant that the intuitive meaning of the borrowing constructs here is "obvious."</p>



<a name="160722824"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.03.13/near/160722824" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E03.2E13.html#160722824">(Mar 13 2019 at 20:07)</a>:</h4>
<p>except that its <em>not obvious</em> once you try to encode the borrow restrictions into the dynamic semantics (as to catch bugs that arise when one manipulates unsafe pointers)</p>



<a name="160722992"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.03.13/near/160722992" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Matthew Jasper <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E03.2E13.html#160722992">(Mar 13 2019 at 20:09)</a>:</h4>
<p>Well, there are ways of doing it, they're just not very good.</p>



<a name="160725104"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.03.13/near/160725104" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E03.2E13.html#160725104">(Mar 13 2019 at 20:38)</a>:</h4>
<p>heh, maybe that was the meeting.</p>



<a name="160725185"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.03.13/near/160725185" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E03.2E13.html#160725185">(Mar 13 2019 at 20:39)</a>:</h4>
<p>/me got distracted with some other things. At this point I think we might as well just have informal office hours with <span class="user-group-mention" data-user-group-id="491">@WG-nll</span> ; I got through everything that I wanted to discuss in the comments above.</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>